$\forall$$i$, $j$:$\mathbb{Z}$. ($i$ $<$z $j$ = ff $\in$ $\mathbb{B}$) $\Rightarrow$ ($\neg$($i$ $<$ $j$))